perm filename OFFICE[1,JMC] blob
sn#883725 filedate 1990-04-13 generic text, type T, neo UTF8
.B433.C2
AUTHOR: Bell, D. A.
TITLE: Intelligent Machines - An Introduction to Cybernetics
IMPRINT: New York, Blaisdell Publishing, 1964
L.C. CALL NO:
B945.053.054
Quine, W. V. (Willard Van Orman)
Quiddities : an intermittently philosophical dictionary / W.V. Quine. --
Cambridge, Mass. : Belknap Press of Harvard University Press, 1987.
249 p. ; 24 cm.
Includes bibliographical references and index.
ISBN 0674743512 (alk. paper)
1. Philosophy--Dictionaries. I. Title.
LCCN: 8711974
L.C. CALL NO:
ID: DCLC8711974-B CC: 9110 DCF: a
BC71.P54
TITLE: Philosophical logic and artificial intelligence
EDITOR: Thomason, Richmond H.
IMPRINT: Kluwer Academic Publishers, 1989
Developed from the Journal of Philosophical Logic, V. 17.
No.4, November 1988
TOPICS: Logic - Artificial intelligence
L.C. CALL NO:
ISBN: 0-7923-0415-2
LCCN: 89-15556
BD591.C28
AUTHOR: Sosa, Ernest
TITLE: Causation and conditionals, edited by Ernest Sosa.
IMPRINT: Oxford Univ. Press, 1975.
202 p.
L.C. CALL NO:
SERIES: Oxford readings in philosophy
TOPICS: Causation.
BF311.J8
AUTHOR: Julesz, Bela.
TITLE: Foundations of cyclopean perception.
IMPRINT: Chicago, University of Chicago Press [1971]
xiv, 406 p. illus. 23 cm.
L.C. CALL NO:
TOPICS: Optics, Physiological.
Visual perception.
BF311.R388
Representation and understanding : studies in cognitive science / edited by
Daniel G. Bobrow and Allan Collins. -- New York : Academic Press, 1975.
xii, 427 p. : ill. ; 24 cm. -- (Language, thought, and culture)
Includes bibliographies and indexes.
ISBN 0121085503
1. Cognition--Congresses. I. Bobrow, Daniel Gureasko. II. Collins, Allan.
LCCN: 7521630
L.C. CALL NO:
ID: DCLC7521630-B CC: 9110 DCF: i
BF311.S83
TITLE: Symposium on Cognition, 9th, Carnegie-Mellon University, 1973.
Knowledge and cognition. Edited by Lee W. Gregg.
IMPRINT: Potomac, Md., L. Erlbaum; distributed by the Halsted Press Division,
Wiley, New York, 1974.
ix, 320 p. illus. 24 cm.
L.C. CALL NO:
OTHER: Gregg, Lee W., ed.
TOPICS: Cognition--Congresses.
BF325.R4
TITLE: Representation and understanding; studies in cognitive science.
Edited by Daniel G.Bobrow and Allan Collins.
IMPRINT: New York, Academic Press, 1975.
xii,427 p. port. 24cm.
L.C. CALL NO:
SERIES: Language, thought, and culture
OTHER: Bobrow, Daniel Gureasko.
BF431.M553
AUTHOR: Minsky, Marvin Lee, 1927-
TITLE: The society of mind / Marvin Minsky.
IMPRINT: New York, N.Y. : Simon and Schuster, c1986.
339 p. : ill. ; 29 cm.
L.C. CALL NO:
TOPICS: Intellect.
Human information processing.
Science--Philosophy.
BF441.H85
AUTHOR: Hunt, Earl B.
TITLE: Concept learning; an information processing problem. By Earl B. Hunt.
IMPRINT: J. Wiley, 1962.
286 p.
L.C. CALL NO:
TOPICS: Concepts
Information theory in psychology
BF441.N47
AUTHOR: Newell, Allen.
TITLE: Human problem solving [by] Allen Newell [and] Herbert A. Simon.
IMPRINT: Englewood Cliffs, N.J., Prentice-Hall [1972]
xiv, 920 p. illus. 24 cm.
L.C. CALL NO:
OTHER: Simon, Herbert Alexander, 1916- joint author.
TOPICS: Problem solving.
Human information processing.
BF455.B75
AUTHOR: Bruner, Jerome Seymour.
TITLE: A study of thinking [by] Jerome S. Bruner, Jacqueline J. Goodnow
[and] George A. Austin. With an appendix on language by Roger W.
Brown.
IMPRINT: New York, Wiley [1956]
xi, 330 p. illus. 24 cm.
L.C. CALL NO:
SERIES: A Wiley publication in psychology
BF455.R853
AUTHOR: Rumelhart, David, James McClelland
TITLE: Parallel Distributed Processing; Volume 1: Foundations -
Volume 2: Psychological and Biological Models
IMPRINT: Cambridge, MA, The MIT Press, 1986
L.C. CALL NO:
TOPICS: Vol. 1 Human information processing, Vol. 2 Cognition
BF721.P47313
AUTHOR: Piaget, Jean, 1896-
TITLE: The origins of intelligence in children / Jean Piaget ; translated by
Margaret Cook.
IMPRINT: New York : International Universities Press, 1952
419 p. ; 23 cm.
L.C. CALL NO:
OTHER: Cook, Margaret
BJ59.C63
AUTHOR: Iannone, A. Pablo
TITLE: Contemporary moral controversies in technology / edited by A. Pablo
Iannone.
IMPRINT: New York : Oxford University Press, 1987.
xii, 336 p. ; 24 cm.
L.C. CALL NO:
TOPICS: Technology--Moral and ethical aspects.
DK275.S25.S2513
AUTHOR: Babyonyshev, Alexander
TITLE: On Sakharov / edited by Alexander Babyonyshev ; translated by Guy
Daniels.
IMPRINT: 1st ed. New York : Alfred A. Knopf, 1982.
xxix, 283 p. ; 22 cm.
L.C. CALL NO:
OTHER: Sakharov, Andrei, 1921-
TOPICS: Sakharov, Andrei, 1921- --Addresses, essays, lectures.
E876.T47
TITLE: Thinking About America
IMPRINT: Hoover Institution Press, 1988
L.C. CALL NO:
TOPICS: US foreign relations; US politics and government
OTHER: Editors: Anderson, Annelise and Dennis L. Bark
GV1318.B613
AUTHOR: Botvinnik, M. M.
TITLE: Computers, chess and long-range planning
IMPRINT: Heidelberg-Berlin, Springer-Verlag, 1970
L.C. CALL NO:
GV1318.C45
AUTHOR: Frey, Peter W. (Peter William), 1942-
TITLE: Chess skill in man and machine / [edited by] Peter Frey.
IMPRINT: New York : Springer-Verlag, 1977.
xi, 217 p. ; 24 cm.
L.C. CALL NO:
SERIES: Texts and monographs in computer science
TOPICS: Chess--Data processing--Addresses, essays, lectures.
GV1318.N48
AUTHOR: Newborn, Monroe.
TITLE: Computer chess
IMPRINT: New York, Academic Press, 1975.
xii,200 p. illus. 24cm.
L.C. CALL NO:
SERIES: A.C.M. monograph series
Association for Computing Machinery. ACM monograph series.
TOPICS: Chess--Data processing.
GV1445.Z43
Znosko-Borovskii, Evgenii Aleksandrovich, 1884-1954.
The art of chess combination; a guide for all players of the game. English
translation, with an introd. by Philip W. Sergeant. With new introd. to the
Dover ed. by Fred Reinfeld. New York, Dover Publications [c1959]
xv, 212 p. illus. 21 cm.
1. Chess--Middle games. I. Title.
LCCN: 601716
L.C. CALL NO:
ID: NJRG84-B28229 CC: 9116 DCF:
GV1445.M29
AUTHOR: Mason, James
TITLE: The Art of Chess
IMPRINT: New York, Dover Publications, Inc., 1958
L.C. CALL NO:
GV1447.A37
Advances in computer chess / M.R.B. Clarke, editor. -- Edinburgh : Edinburgh
University Press, c1977-
v. : ill. ; 26 cm.
Includes bibliographies.
ISBN 0852242921 (v. 1) : L3.50. -- ISBN 0852243774 (v. 2)
1. Chess--Data processing--Addresses, essays, lectures. I. Clarke, M. R. B.
LCCN: 78309646//r82
L.C. CALL NO:
ID: NJPG82-B56413 CC: 9110 DCF: a
GV1447.C457
Chernev, Irving, 1900- comp.
The chess companion; a merry collection of tales of chess and its players,
together with a cornucopia of games, problems, epigrams & advice, topped off
with the greatest game of chess ever played. Selected, annotated, and brought
between two covers by Irving Chernev. [New York] Simon and Schuster [1973,
c1968]
286 p. illus. 24 cm. (A Fireside book)
ISBN 0671201042 (case). -- ISBN 0671216511 (pbk.)
1. Chess--Addresses, essays, lectures. I. Title.
LCCN: 73178291
L.C. CALL NO:
ID: DCLC73178291-B CC: 9110 DCF:
GV1448.G713
AUTHOR: de Groot, A.D.
TITLE: Thought and Choice in Chess
IMPRINT: The Hague, Mouton & Company, 1965
SERIES: Psychological Studies 4
L.C. CALL NO:
GV1450.H59
AUTHOR: Horowitz, I. A.
TITLE: Chess Openings, Theory and Practice
IMPRINT: New York, Simon and Schuster, 1964
L.C. CALL NO:
GV1450.3.R366
Reinfeld, Fred, 1910-1964.
1001 winning chess sacrifices and combinations / by Fred Reinfeld. 1976 ed.
No. Hollywood, Calif. : Melvin Powers Wilshire Book Company, c1955.
198 p. ; 22 cm.
Description based on surrogate.
1. Chess--Middle games. I. Title. II. Title: One thousand one winning chess
sacrifices and combinations.
LCCN: 557430
ID: PASG55007430-B CC: 9665 DCF:
L.C. CALL NO:
GV1451.2.D38
Dawson, Thomas Rayner, 1889-1951.
Five classics of fairy chess. With a new pref. and introd. by A. S. M.
Dickins. New York, Dover Publications [1973]
xi, 145 p. illus. 28 cm.
Reprint of five pamphlets privately published in England between 1935 and
1947, as the C. M. Fox fairy series, no. 1-5.
Contents: Caissa's wild roses.--C. M. Fox, his problems. Edited by T. R.
Dawson.--Caissa's wild roses in clusters.--Ultimate themes.--Caissa's fairy
tales.
ISBN 0486229106
1. Fairy chess. I. Fox, Charles Masson, 1866-1935. II. Title.
LCCN: 7293613
L.C. CALL NO:
ID: DCLC7293613-B CC: 9110 DCF:
GV1451.2.M38
Morphy, Paul Charles, 1837-1884.
Morphy's games of chess : 300 games by the greatest chess player of all
time / selected and annotated by Philip W. Sergeant ; with a new introduction
by Fred Reinfeld. -- -- New York : Dover Publications, c1957.
351 p. : ill. ; 21 cm.
Reprint of an earlier edition published by G. Bell and Sons.
Includes indexes.
ISBN 0486203867
1. Chess--Collections of games. I. Sergeant, Philip Walsingham, 1872- .
II. Title.
ID: AZPG82-B8569 CC: 9116 DCF: a
L.C. CALL NO:
GV1451.S56
Smullyan, Raymond M.
The chess mysteries of Sherlock Holmes / by Raymond Smullyan. -- 1st ed. --
New York : Knopf, 1979.
xiii, 171 p. : ill. ; 21 cm.
ISBN 0394504887 : $10.00
1. Chess problems. 2. Holmes, Sherlock (Fictitious character) I. Title.
LCCN: 792101//r84
L.C. CALL NO:
ID: DCLC792101-B CC: 9110 DCF: i
GV23.Y685
AUTHOR: Young, David C.
TITLE: The olympic myth of Greek amateur athletics / David C. Young.
IMPRINT: 1st ed. Chicago : Ares Publishers, 1984.
202 p. : maps ; 22 cm.
L.C. CALL NO:
SERIES: Library of ancient athletics
HA202.A483
Statistical Abstract of the United States 1989 (109th Edition)
National Data Book and Guide to Sources
IMPRINT: US Government Printing Office, Wash., DC
LCCN: 4-18089
L.C. CALL NO: HA202.A483
HC110.E5T39 1984
Taylor, Serge.
Making bureaucracies think : the environmental impact statement strategy of
administrative reform / Serge Taylor. -- Stanford, Calif. : Stanford University
Press, 1984.
x, 410 p. : ill. ; 23 cm.
Bibliography: p. [370]-401.
Includes index.
ISBN 0804711526
1. Environmental policy--United States. 2. Environmental impact statements--
United States. 3. Administrative procedure--United States. I. Title.
LCCN: 8184456
L.C. CALL NO:
ID: DCLC8184456-B CC: 9110 DCF: a
HC79.H53.R36
AUTHOR: Ramo, Simon
TITLE: The Business of Science, Winning and Losing in the High-Tech Age
IMPRINT: New York, Hill and Wang
L.C. CALL NO:
TOPICS: High technology industries
HD9696.C63.U516466
AUTHOR: Flamm, Kenneth S., 1951-
TITLE: Targeting the computer : government support and international
competition / Kenneth Flamm.
IMPRINT: Washington, D.C. : Brookings Institution, c1987.
xiii, 266 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Computer industry--Government policy--United States.
Computers--Research--Government policy--United States.
HF5548.2.S7733
TITLE: Stanford University International Symposium on Office Automation
(1980)
Emerging office systems : based on proceedings of the Stanford
University International Symposium on Office Automation /
[editors], Robert M. Landau, James H. Bair, Jean H. Siegman.
IMPRINT: Norwood, NJ : Ablex Pub. Corp., c1982.
xiii, 344 p. : ill. ; 24 cm.
L.C. CALL NO:
JX1904.5.B69
AUTHOR: Boulding, Kenneth Ewart, 1910-
TITLE: Stable peace / Kenneth E. Boulding.
IMPRINT: Austin : University of Texas Press, c1978.
xii, 143 p. : ill. ; 21 cm.
L.C. CALL NO:
TOPICS: Peace--Research.
International relations--Research.
NOTES: Item CSUG87-B31322 (Books) Language: eng Year: 1978
KF1649.B67
AUTHOR: Bork, Robert H.
TITLE: The antitrust paradox : a policy at war with itself / Robert H. Bork.
IMPRINT: New York : Basic Books, c1978.
xi, 462 p. ; 25 cm.
L.C. CALL NO:
TOPICS: Antitrust law--United States.
NOTES: Includes bibliographical references and indexes.
Item CSUU6587674-B (Books) Language: eng Year: 1978
LC3993.9.C68
AUTHOR: Cox, June, 1919-
TITLE: Educating able learners : programs and promising practices / by June
Cox, Neil Daniel, and Bruce O. Boston.
IMPRINT: 1st ed. Austin : University of Texas Press, 1985.
xv, 243 p. : ill. ; 24 cm.
L.C. CALL NO:
OTHER: Daniel, Neil, 1932-
Boston, Bruce O.
P95.55.S4
Searle, John R. EXPRESSION AND MEANING (Cambridge, Eng. ; Cambridge
University Press, 1979)
P123.W63
AUTHOR: Wilks, Yorick Alexander
TITLE: Grammar, meaning and the machine analysis of language
IMPRINT: London, Routledge & Kegan Paul, 1971
L.C. CALL NO:
P158.M6
AUTHOR: Partee, Barbara Hall.
TITLE: Montague grammar, edited by Barbara H. Partee.
IMPRINT: New York, Academic Press [c1976]
xv, 370 p. illus. 24 cm.
L.C. CALL NO:
TOPICS: Generative grammar--Addresses, essays, lectures.
Grammar, Comparative and general--Syntax.
Semantics--Addresses, essays, lectures.
P308.N2613
TITLE: Machine Translation How Far Can it Go
AUTHOR: Nagao, Makoto, 1936-
IMPRINT: Oxford University Press, Oxford
L.C. CALL NO:
TOPICS: Languages. Translation. Applications of computer systems
P325.C56
TITLE: Computational semantics : an introduction to artificial intelligence
and natural language comprehension / edited by Eugene Charniak and
Yorick Wilks.
IMPRINT: Amsterdam ; New York : North-Holland Pub. Co. ; New York :
distributors for the U.S.A. and Canada, Elsevier/North Holland,
1976.
vii, 294 p. : ill. ; 23 cm.
L.C. CALL NO:
P90.C55
AUTHOR: Cherry, Colin
TITLE: On human communication; a review, a survey, and a criticism.
IMPRINT: [Cambridge] Technology Press of Massachusetts Institute of Technology
[1957]
xiv, 333 p. illus. 24 cm.
L.C. CALL NO:
SERIES: Studies in communication
TOPICS: Communication.
P98.S3
AUTHOR: Schank, Roger C , 1946-
TITLE: Conceptual information processing [by] Roger C.Schank, including
contributions by Neil M.Goldman, Charles J.Rieger III and
Christopher K.Riesbeck.
IMPRINT: Amsterdam, North-Holland; New York, American Elsevier, 1975.
viii,374 p. illus. 23cm.
L.C. CALL NO:
PE1074.5.S5
AUTHOR: Shapiro, S. C.
TITLE: A Data Structure for Semantic Information Processing
IMPRINT: University Microfilms, Ann Arbor, 1971
L.C. CALL NO:
PG3489.4.I53.M6513
AUTHOR: Voinovich, Vladimir
TITLE: Moscow 2042
IMPRINT: San Diego, Harcourt Brace Jovanovich Publishers, 1986
L.C. CALL NO:
PN6231.E4H3
TITLE: The Hacker's dictionary : a guide to the computer underground/
Guy L. Steele Jr. ... [et al.].
IMPRINT: New York : Harper & Row, c1983.
139 p. ; 21 cm.
L.C. CALL NO:
SERIES: Colophon books ; 1082
OTHER: Steele, Guy.
PN6261.O9
AUTHOR: Sutherland, James
TITLE: The Oxford book of literary anecdotes. Edited by James Sutherland.
IMPRINT: Oxford, Clarendon Press, 1975.
ix,382 p. 23cm.
L.C. CALL NO:
NOTES: Item CSUG2168065-B (Books) Language: eng Year:
PS558.T4S68
AUTHOR: Graham, Don
TITLE: South by Southwest : 24 stories from modern Texas / edited by Don
Graham.
IMPRINT: 1st ed. Austin : University of Texas Press, 1986.
xix, 278 p. ; 24 cm.
L.C. CALL NO:
TOPICS: Short stories, American--Texas.
Texas--Fiction.
PS688.C5
Chandler, Alice, comp.
The rationale of the essay; a reader for writers [compiled by] Alice Chandler
[and] Marlene Fisher. New York, Holt, Rinehart and Winston [1971]
ix, 437 p. 23 cm.
Includes bibliographical references.
ISBN 0030842905
1. American essays--20th century. I. Fisher, Marlene, joint comp. II. Title.
LCCN: 75149018
L.C. CALL NO:
ID: DCLC75149018-B CC: 9110 DCF:
PT2625.O64.G3
AUTHOR: Morgenstern, Christian, 1871-1914.
TITLE: The gallows songs : Christian Morgenstern's Galgenlieder, a selection
/ translated, with an introduction, by Max Knight.
IMPRINT: Berkeley, Calif. : University of California Press, c1963.
227 p. : port. ; 21 cm.
L.C. CALL NO:
NOTES: Translation of Alle Galgenlieder.
Item CSUG86-B4815 (Books) Language: eng Year: 1963
Q175.3.P67
A Portrait of twenty-five years : Boston Colloquium for the Philosophy of
Science 1960-1985 / edited by Robert S. Cohen and Marx W. Wartofsky. --
Dordrecht ; Boston : D. Reidel Pub. Co. ; Hingham, MA, U.S.A. : Sold and
distributed in U.S.A. and Canada by Kluwer Academic Publishers, c1985.
viii, 323 p. : ill. ; 23 cm. -- (Boston studies in the philosophy of science)
Includes bibliographies and index.
ISBN 9027719713 (pbk.)
1. Science--Philosophy--Addresses, essays, lectures. 2. Science--Philosophy--
History--Addresses, essays, lectures. 3. Knowledge, Theory of--Addresses,
essays, lectures. I. Cohen, R. S. (Robert Sonn_e) II. Wartofsky, Marx W. III.
Title: Portrait of 25 years. IV. Series.
LCCN: 852420
L.C. CALL NO:
ID: DCLC852420-B CC: 9110 DCF: a
Q175.5.L68
AUTHOR: Lowrance, William W., 1943-
TITLE: Modern science and human values / William W. Lowrance.
IMPRINT: New York : Oxford University Press, 1985.
xiv, 250 p. ; 25 cm.
L.C. CALL NO:
TOPICS: Science--Social aspects.
Technology--Social aspects.
Q175.H27
AUTHOR: Hanson, Norwood Russell.
TITLE: Patterns of discovery; an inquiry into the conceptual foundations of
science.
IMPRINT: Cambridge, [Eng.] University Press, 1958.
240 p. illus. 23 cm.
L.C. CALL NO:
TOPICS: Science--Philosophy.
NOTES: "Notes" (bibliographical): p. 176-234.
Q175.S564
AUTHOR: Simon, Herbert Alexander, 1916-
TITLE: The sciences of the artificial / Herbert A. Simon.
IMPRINT: 2d ed. Cambridge, Mass. : MIT Press, c1981.
xiii, 247 p. : ill. ; 20 cm.
L.C. CALL NO:
TOPICS: Science--Philosophy.
NOTES: Includes bibliographical references and indexes.
Q310.B4
Bell, David Arthur.
Intelligent machines : an introduction to cybernetics / by D.A. Bell. -- New
York : Blaisdell Publishing Co., 1962.
98 p. : ill. ; 21 cm. -- (Blaisdell scientific paperback, BP-7)
Includes bibliographies.
1. Cybernetics. 2. Artificial intelligence. I. Title.
LCCN: 6213942
L.C. CALL NO:
ID: CXRC85-B2775 CC: 9116 DCF: i
Q325.M32
AUTHOR: Michalski, Ryszard S. et al.
TITLE: Machine Learning - An Artificial Intelligence Approach, Wolume II
IMPRINT: Morgan Kaufmann Publishers, Inc. Los Altos, CA, 1986
L.C. CALL NO:
Q327.N2
TITLE: Automatic Interpretation and Classification of Images
IMPRINT: New York, Academic Press, 1969 - A NATO Advanced Study Institute -
Editor, A. Grasselli
L.C. CALL NO:
Q327.O...
AUTHOR: O'Callaghan, J. F.
TITLE: Pattern Recognition Using Some Principles of the Organism -
Environment Interaction
IMPRINT: Department of Engineering Physics, Australian National University, 1968
L.C. CALL NO:
Q327.W56
AUTHOR: Winston, Patrick Henry.
TITLE: The psychology of computer vision. Patrick Henry Winston, editor;
with contributions from Berthold Horn [et al.]
IMPRINT: New York, McGraw-Hill [1975]
vi,282 p. illus. 24cm.
L.C. CALL NO:
SERIES: McGraw-Hill computer science series
Q334.C68
TITLE: Conference on Theoretical Aspects of Reasoning about Knowledge
IMPRINT: Morgan Kaufmann Publishers, Inc. Los Altos, CA.
editor: Moshe Vardi, 1988
L.C. CALL NO:
TOPICS: AI, Knowledge (Theories of), Logic (Symbolic and mathematical
Reasoning
Q334.G471
TITLE: German Workshop on Artificial Intelligence (9th : 1985 :
Dassel/Solling, Germany)
GWAI-85 : 9th German Workshop on Artificial Intelligence,
Dassel/Solling, September 23-27, 1985 / edited by Herbert Stoyan.
IMPRINT: Berlin ; New York : Springer-Verlag, 1986.
x, 471 p. : ill. ; 25 cm.
L.C. CALL NO:
Q334.I54
TITLE: International Conference on Artificial Intelligence and Law (1st :
1987 : Northeastern University, Boston, Mass.)
Proceedings of the Conference : the first International Conference on
Artificial Intelligence and Law, May 27-29, 1987, Boston,
Massachusetts / sponsored by: the Center for Law and Computer
Science, Northeastern University, in cooperation with ACM SIGART.
ICAIL '87 proceedings.
IMPRINT: New York, N.Y. (11 West 42nd Street, New York, N.Y. 10036) : ACM
Press, c1987.
L.C. CALL NO:
Q334.R42
AUTHOR: Georgeff, Michael P. and Lansky, Amy L. (Editors)
TITLE: Reasoning about Actions and Plans
IMPRINT: Morgan Kaufmann Publishers, Inc., 1987, Los Altos, CA.
L.C. CALL NO:
TOPICS: Artificial intelligence, Problem solving
Q335.5 S2
TITLE: The Modeling of Mind - Computers and Intelligence
IMPRINT: New York, Simon and Schuster, 1963
Editors Kenne;th M. Sayre and Frederick J. Crosson
L.C. CALL NO:
Q335.5.F4
AUTHOR: Feigenbaum, Edward A.
TITLE: Computers and thought; a collection of articles. Edited by Edward A.
Feigenbaum and Julian Feldman.
IMPRINT: McGraw-Hill, 1963.
535 p.
L.C. CALL NO:
OTHER: Feldman, Julian
Q335.A76
AUTHOR: Arnold, William R. (William Robert), 1933-
TITLE: Artificial intelligence : a personal, commonsense journey / William
R. Arnold, John S. Bowie.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1986.
xiii, 219 p. : ill. ; 25 cm.
L.C. CALL NO:
OTHER: Bowie, John S., 1955-
TOPICS: Artificial intelligence.
Q335.A786
AUTHOR: Bundy, A. R.
TITLE: Artificial intelligence : an introductory course / edited by A. Bundy
... [et al.].
IMPRINT: New York : North-Holland, c1978.
viii, 253 p. : diagrs. ; 23 cm.
L.C. CALL NO:
Q335.A7865
TITLE: Artificial intelligence: an MIT perspective / edited by Patrick Henry
Winston and Richard Henry Brown.
IMPRINT: Cambridge, Mass. : MIT Press, c1979.
2 v. ; 24 cm.
L.C. CALL NO:
SERIES: The MIT Press series in artificial intelligence
OTHER: Winston, Patrick Henry.
Q335.B6613
AUTHOR: Bonnet, Alain.
TITLE: Intelligence artificielle. English
Artificial intelligence / Alain Bonnet ; preface by Jacques Pitrat ;
translated by Jack Howlett.
IMPRINT: Englewood Cliffs, NJ : Prentice-Hall International, c1985.
221 p. : ill. ; 23 cm.
L.C. CALL NO:
Q335.D75
AUTHOR: Dreyfus, Hubert L.
TITLE: What computers can't do : the limits of artificial intelligence / by
Hubert L. Dreyfus.
IMPRINT: Rev. ed. New York : Harper & Row, 1979.
xiii, 354 p. ; 21 cm.
L.C. CALL NO:
SERIES: Harper colophon books ; CN 613
TOPICS: Artificial intelligence.
Q335.F56
AUTHOR: Firebaugh, Morris W.
TITLE: Artificial Intelligence - A Knowledge-Based Approach
IMPRINT: Boyd and Fraser Publishing Company, Boston, 1988
L.C. CALL NO:
Q335.G37
AUTHOR: Genesereth, Michael, 1948-
TITLE: Logical foundations of artificial intelligence / Michael R.
Genesereth and Nils J. Nilsson.
IMPRINT: Los Altos, Calif. : Morgan Kaufmann Publishers, c1987.
xviii, 405 p. : ill. ; 24 cm.
L.C. CALL NO:
Q335.G483
AUTHOR: Gevarter, William B.
TITLE: Intelligent machines : an introductory perspective of artificial
intelligence and robotics / William B. Gevarter.
IMPRINT: Englewood Cliffs, N.J. : Prentice Hall, 1984.
xvi, 282 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Artificial intelligence.
Robotics.
Q335.H38
AUTHOR: Haugeland, John, 1945-
TITLE: Artificial intelligence : the very idea / John Haugeland.
IMPRINT: Cambridge, Mass. : MIT Press, c1985.
287 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Artificial intelligence.
Q335.H79
AUTHOR: Hunt, Earl B.
TITLE: Artificial intelligence [by] Earl B. Hunt.
IMPRINT: New York, Academic Press, 1975.
xii,468 p. illus. 24cm.
L.C. CALL NO:
SERIES: Academic Press series in cognition and perception
TOPICS: Artificial intelligence.
NOTES: Bibliography: p.[446]-457.
Q335.J27
AUTHOR: Jackson, Philip C., 1949-
TITLE: Introduction to artificial intelligence / Philip C. Jackson, Jr.
IMPRINT: 2nd, enl. ed. New York : Dover, 1985.
xxxviii, 453 p. : ill. ; 22 cm.
L.C. CALL NO:
TOPICS: Artificial intelligence.
Q335.M149
Machine intelligence. 1- -- New York : American Elsevier, 1967-
v., illus., 26 cm. -- (VolS. 1-3-4 comprise Proceedings of the Machine
Intelligence Workshop.)
Published simultaneously by Oliver & Boyd, London.
1. Artificial intelligence--Collected works. I. Machine Intelligence
Workshop. Proceedings. II. Title. III. Series.
LCCN: 6713648
L.C. CALL NO:
ID: NJEE83-B5312 CC: 9556 DCF: i
Q335.N52
AUTHOR: Nilsson, Nils J.
TITLE: Problem-solving methods in artificial intelligence. By Nils J.
Nilsson.
IMPRINT: McGraw-Hill, c1971.
255 p.
L.C. CALL NO:
TOPICS: Artificial intelligence
Q335.Q47
TITLE: The Question of artificial intelligence : philosophical and
sociological perspectives / edited by Brian P. Bloomfield.
IMPRINT: London ; New York : Croom Helm, c1987.
xvi, 286 p. ; 23 cm.
L.C. CALL NO:
OTHER: Bloomfield, Brian P.
TOPICS: Artificial intelligence.
Q335.S45
AUTHOR: Simon, Herbert Alexander, 1916- comp.
TITLE: Representation and meaning; experiments with information processing
systems. Edited by Herbert A. Simon and Laurent Siklossy.
IMPRINT: Englewood Cliffs, N.J., Prentice-Hall [1972]
xviii, 440 p. illus. 24 cm.
L.C. CALL NO:
SERIES: Prentice-Hall series in automatic computation
Q335.S487
AUTHOR: Shoham, Yoav.
TITLE: Reasoning about change : time and causation from the standpoint of
artificial intelligence / Yoav Shaham.
IMPRINT: Cambridge, MA : MIT Press, c1988.
200 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: The MIT Press series in artificial intelligence
Q335.S49
AUTHOR: Skyvington, William
TITLE: Machina sapiens, Essai sur l'intelligence artificielle
IMPRINT: Seuil, Paris, France, 1976
L.C. CALL NO:
Q335.S57
Slagle, James R.
Artificial intelligence: the heuristic programming approach [by] James R.
Slagle. New York, McGraw-Hill [c1971]
x, 196 p. illus. 23 cm. (McGraw-Hill series in systems science)
Includes bibliographies.
1. Artificial intelligence. 2. Heuristic programming. I. Title.
LCCN: 76121667//r84
L.C. CALL NO:
ID: DCLC76121667-B CC: 9110 DCF:
Q335.T88
TITLE: Tutorial, computers for artificial intelligence applications /
[edited by] Benjamin Wah and G.-J. Li.
IMPRINT: Washington, D.C. : IEEE Computer Society Press, c1986.
viii, 648 p. : ill. ; 28 cm.
L.C. CALL NO:
OTHER: Wah, Benjamin.
Q335.W...
TITLE: New Progress in Artificial Intelligence
AUTHOR: Winston, Patrick
IMPRINT: MIT AI Laboratory - Report AI-TR-310
L.C. CALL NO:
Q336.F74
TITLE: The Frame problem in artificial intelligence : proceedings of the
1987 workshop, April 12-15, 1987, Lawrence, Kansas / edited by
Frank M. Brown ; co-sponsored by the American Association for
Artificial Intelligence ... [et al.].
IMPRINT: Los Altos, Calif. : Morgan Kaufmann Publishers, c1987.
vii, 359 p. ; 29 cm.
L.C. CALL NO:
Q9.S33
TITLE: Science Year - The World Book Science Annual - 1981
IMPRINT: World Book - Childcraft Internation, Inc., Scott & Fetzer Company
TOPICS: A review of science and technology during the 1980 school year.
OTHER: Editor - William H. Nault
L.C. CALL NO:
QA241.H28
AUTHOR: Hardy, Godfrey Harold, 1877-1947.
TITLE: An introduction to the theory of numbers
IMPRINT: 5th ed. Oxford : Clarendon Press ; New York : Oxford University
Press, 1979.
xvi, 426 p. : diagrs. ; 24 cm.
L.C. CALL NO:
QA267.5.S4.A78
TITLE: Automata, languages and programming. Proceedings of a symposium
organized by IRIA, Institut de recherche d'informatique et
d'automatique, 78-Rocquencourt, France., July 3-7, 1972. Edited by
M. Nivat.
IMPRINT: Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
638 p. 23 cm.
L.C. CALL NO:
QA267.M55
AUTHOR: Minsky, Marvin Lee, 1927-
TITLE: Computation: finite and infinite machines [by] Marvin L. Minsky.
IMPRINT: Englewood Cliffs, N.J., Prentice-Hall [1967]
xvii, 317 p. illus. 24 cm.
L.C. CALL NO:
SERIES: Prentice-Hall series in automatic computation
QA276.H42
AUTHOR: Hemmerle, William J.
TITLE: Statistical Computations on a Digital Computer
IMPRINT: Waltham, MA, Blaisdell Publishing Company, 1967
L.C. CALL NO:
QA297.F568
AUTHOR: Forsythe, George Elmer, 1917-
TITLE: Computer methods for mathematical computations / by George E.
Forsythe, Michael A. Malcolm, Cleve B. Moler.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, [1977]
xi, 259 p. ; 24 cm.
L.C. CALL NO:
QA297.M64
AUTHOR: Moore, Ramon E.
TITLE: Mathematical elements of scientific computing, by Ramon E. Moore.
IMPRINT: Holt, Rinehart and Winston, c1975.
237 p.
L.C. CALL NO:
TOPICS: Electronic data processing--Numerical analysis
NOTES: Item CSUU2909758-B (Books) Language: eng Year:
QA297.S77
AUTHOR: Stark, Peter A
TITLE: Introduction to numerical methods [by] Peter A. Stark.
IMPRINT: New York, Macmillan [1971,c1970]
xii, 334 p. illus. 24 cm.
L.C. CALL NO:
SERIES: Macmillan series in applied computer science
TOPICS: Numerical analysis.
QA3.L28.V188
TITLE: Symposium on Semantics of Algorithmic Languages/Lecture Notes in
Mathematics/Editor E. Engeler, University of Minnesota
IMPRINT: Berlin, Springer-Verlag 1970
L.C. CALL NO:
QA402.5 I175
TITLE: Symbol manipulation languages and techniques
IMPRINT: Amsterdam, North-Holland, 1968
IFIP Working Conference, Pisa, Italy, September 5-9, 1966
OTHER: Bobrow, Daniel G. (Editor)
L.C. CALL NO:
QA510.78.R488
AUTHOR: Richards, Richard Kohler, 1921-
TITLE: Arithmetic operations in digital computers.
IMPRINT: New York, Van Nostrand, [1955]
397 p. illus. 24 cm.
L.C. CALL NO:
SERIES: Van Nostrand's series in higher mathematics
TOPICS: Electronic digital computers.
QA63.S87
AUTHOR: Sussman, Gerald Jay.
TITLE: A computer model of skill acquisition.
IMPRINT: New York, American Elsevier Pub. Co. [1975]
x,133 p. illus. 23 cm.
L.C. CALL NO:
SERIES: Elsevier computer science library : Artificial intelligence series ;
1
QA76.I17
TITLE: Formal Language Description Languages for Computer Programming
IMPRINT: Amsterdam, North-Holland, 1966
IFIP Working conference, Vienna, Austria, Sept. 15-18, 1964
Editor, T.B. Steel, Jr.
L.C. CALL NO:
QA76.I5798
TITLE: Lecture Notes in Computer Science
IMPRINT: Berlin, Springer-Verlag, 1974
International Symposium on Theoretical Programming, Vol. 5
Editors, G. Goos and J. Hartmanis
L.C. CALL NO:
QA76.15.E48
AUTHOR: Ralston, Anthony
TITLE: Encyclopedia of computer science and engineering / Anthony Ralston,
editor ; Edwin D. Reilly, Jr., associate editor.
IMPRINT: 2nd ed. New York : Van Nostrand Reinhold Co., c1983.
xxix, 1664 p. : ill. ; 25 cm.
L.C. CALL NO:
QA76.17.A56
AUTHOR: Randell, B.
TITLE: Annals of the History of Computing
IMPRINT: American Federation of Information Processing Societies
L.C. CALL NO:
TOPICS: The Birth of an ERA, 1946-55, An Annotated Bibliography on the
Origins of Computers
QA76.24.E88
TITLE: Expert systems in the micro-electronic age / edited by Donald Michie.
IMPRINT: Edinburgh : Edinburgh University Press, c1979.
287 p. : ill. ; 24 cm.
L.C. CALL NO:
OTHER: Michie, Donald.
TOPICS: Electronic data processing--Addresses, essays, lectures.
QA76.5.G77
AUTHOR: Gruenberger, Fred
TITLE: Computing: an introduction
IMPRINT: New York, Harcourt, Brace & World, 1969
L.C. CALL NO:
QA76.5.G78
AUTHOR: Gruenberger, Fred and George Jaffray
TITLE: Problems for Computer Solution
IMPRINT: New York, John Wiley & Sons, Inc. 1965
L.C. CALL NO:
QA76.5.B516
AUTHOR: Bishop, Peter, 1949-
TITLE: Fifth generation computers / Peter Bishop.
IMPRINT: Chichester, West Sussex, England : E. Horwood ; New York : Halsted
Press, 1986.
166 p. : ill. ; 25 cm.
L.C. CALL NO:
SERIES: Ellis Horwood series in Computers and their applications
QA76.5.C6139
TITLE: Computers and computation; readings from Scientific American. With
introductions by Robert R. Fenichel and Joseph Weizenbaum.
Scientific American
IMPRINT: W.H. Freeman, c1971.
283 p. illus.\
L.C. CALL NO:
TOPICS: Electronic data processing
Electronic digital computers
QA76.5.D662
Dorf, Richard C.
Computers and man / Richard C. Dorf. -- 3rd ed. -- San Francisco, Calif. :
Boyd & Fraser Pub. Co., c1982.
xi, 500 p. : ill. ; 24 cm.
Includes bibliographical references and index.
ISBN 0878351213 (pbk.)
1. Electronic digital computers. 2. Electronic data processing. 3. Computers
and civilization. I. Title.
LCCN: 8270804
L.C. CALL NO:
ID: DCLC8270804-B CC: 9110 DCF: a
QA76.5.H3
AUTHOR: Grau, A. A., U. Hill, H. Langmaack
TITLE: Translation of Algol 60
IMPRINT: Springer-Verlag, New York 1967
L.C. CALL NO:
QA76.5.I19
Iverson, Kenneth E.
A programming language. New York, Wiley [1962]
286 p. illus. 24 cm.
Includes bibliography.
1. Programming languages (Electronic computers) 2. Algorithms. 3. Electronic
digital computers--Programming. I. Title.
LCCN: 6215180/L
L.C. CALL NO:
ID: DCLC6215180-B CC: 9120 DCF:
QA76.5.K55
AUTHOR: Knuth, Donald E.
TITLE: The art of computer programming [by] Donald E. Knuth.
IMPRINT: Reading, Mass., Addison-Wesley Pub. Co. 1968-
v. illus. 25 cm.
L.C. CALL NO:
SERIES: Addison-Wesley series in computer science and information processing
QA76.5.L378
AUTHOR: Lechner, H. D.
TITLE: The computer chronicles / H.D. Lechner.
IMPRINT: Belmont, Calif. : Wadsworth/Continuing Education, c1984.
xvi, 391 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: The Wadsworth continuing education professional series
QA76.5.M18746
AUTHOR: McKeeman, William M., James J. Horning, David B. Wortman
TITLE: A Compiler Generator
IMPRINT: Prentice Hall, New Jersey, 1970
L.C. CALL NO:
OTHER: Prentice Hall Series in Automatic Computation
QA76.5.W353 1989
AUTHOR: Wasserman, Philip D.
TITLE: Neural Computing - Theory and Practice
IMPRINT: Can Nostrand Reinhold, New York
TOPICS: Neural computing: theory and practice
ISBN: 0-442-20743-3
LCCN: 88-34842
L.C. CALL NO: QA76.5.W353
QA76.54.M36
AUTHOR: Martin, James, 1933-
TITLE: Design of man-computer dialogues.
IMPRINT: Englewood Cliffs, N.J., Prentice-Hall [1973]
xii,559 p. illus. 25cm.
L.C. CALL NO:
SERIES: Prentice-Hall series in automatic computation.
TOPICS: Real-time data processing.
QA76.6.M356
AUTHOR: Manna, Zohar
TITLE: Mathematical Theory of Computation
IMPRINT: New York, McGraw-Hill Book Company, 1974
L.C. CALL NO:
SERIES: McGraw-Hill Computer Science Series
TOPICS: Electronic digital computers - Debugging in computer science
QA76.6.S76
AUTHOR: Stone, Harold S.
TITLE: Introduction to Computer Organization and Data Structures
IMPRINT: New York, McGraw-Hill Book Company, 1972
L.C. CALL NO:
SERIES: Computer Science Series
QA76.6.A37
AUTHOR: Aho, Alfred V.
TITLE: The theory of parsing, translation, and compiling [by] Alfred V. Aho
[and] Jeffrey D. Ullman.
IMPRINT: Englewood Cliffs, N.J., Prentice-Hall [1972-73]
2 v. (xviii, 1002 p.) illus. 24 cm.
L.C. CALL NO:
QA76.6.A47
AUTHOR: Anderson, Robert Brockett, 1941-
TITLE: Proving programs correct / Robert B. Anderson.
IMPRINT: New York : Wiley, c1979.
viii, 184 p. : diagrs. ; 23 cm.
L.C. CALL NO:
TOPICS: Computer programs--Testing.
Debugging in computer science.
QA76.6.B39513
AUTHOR: Bauer, Friedrich Ludwig, 1924-
TITLE: Algorithmische Sprache und Programmentwicklung. English
Algorithmic language and program development / F.L. Bauer, H.
Wossner, in collaboration with H. Partsch and P. Pepper.
IMPRINT: Berlin ; New York : Springer-Verlag, 1982.
xvi, 497 p. : ill. ; 24 cm.
L.C. CALL NO:
QA76.6.D33
AUTHOR: Dahl, Ole Johan, 1931-
TITLE: Structured programming, [by] O.-J. Dahl, E. W. Dijkstra [and] C. A.
R. Hoare.
IMPRINT: London, New York, Academic Press, 1972.
viii, 220 p. illus. 24 cm.
L.C. CALL NO:
SERIES: A.P.I.C. studies in data processing, no.8
QA76.6.D54
AUTHOR: Dijkstra, Edsger Wybe.
TITLE: A discipline of programming / Edsger W. Dijkstra.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1976.
xvii, 217 p. ; 24 cm.
L.C. CALL NO:
SERIES: Prentice-Hall series in automatic computation
QA76.6.E...
TITLE: Performance enhancement in a well-structured pattern matcher
through partial evaluation
AUTHOR: Emanuelson, Par
IMPRINT: North Holland Publ Co., 1980
SERIES: Linkoping studies in science and technology dissertations no. 55
L.C. CALL NO:
QA76.6.F35
AUTHOR: Fairley, R. E. (Richard E.), 1937-
TITLE: Software engineering concepts / Richard E. Fairley.
IMPRINT: New York : McGraw-Hill, c1985.
xv, 364 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: McGraw-Hill series in software engineering and technology
QA76.6.F7226
AUTHOR: Francez, Nissim.
TITLE: Fairness / Nissim Francez.
IMPRINT: New York : Springer-Verlag, c1986.
xiii, 295 p. : ill. ; 25 cm.
L.C. CALL NO:
SERIES: Texts and monographs in computer science
TOPICS: Electronic digital computers--Programming.
QA76.6.H...
TITLE: Contributions to the development of methods and tools
for interactive design of applications software
AUTHOR: Hagglund, Sture
IMPRINT: North Holland Pub. Co., 1980
SERIES: Linkoping studies in science and technology dissertations no. 54
L.C. CALL NO:
QA76.6.I5466
TITLE: International Conference on Logic Programming (3rd : 1986 : Imperial
College of Science and Technology, London, England)
Third International Conference on Logic Programming, Imperial College
of Science and Technology London, United Kingdom : proceedings /
edited by Ehud Y. Shapiro.
IMPRINT: Berlin ; New York : Springer-Verlag, c1986.
ix, 720 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: Lecture notes in computer science ; 225
OTHER: Shapiro, Ehud Y.
TOPICS: Logic programming--Congresses.
NOTES: Includes bibliographies.
Item CSUG86-B83855 (Books) Language: English Year: 1986
QA76.6.I57
TITLE: International Seminar on Operating Systems Techniques, Queen's
University of Belfast, 1971.
Operating systems techniques; proceedings, edited by C. A. R. Hoare
[and] R. H. Perrott.
IMPRINT: London, New York, Academic Press, 1972.
xii, 390 p. 24 cm.
L.C. CALL NO:
SERIES: A.P.I.C. studies in data processing, no. 9
QA76.6.K495
AUTHOR: Kernighan, Brian W.
TITLE: The UNIX programming environment / Brian W. Kernighan, Rob Pike.
U.N.I.X. programming environment.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1984.
x, 357 p. : ill. ; 25 cm.
L.C. CALL NO:
SERIES: Prentice-Hall software series
QA76.6.L38
TITLE: Computer Semantics
AUTHOR: Lee, John A. N.
IMPRINT: Van Nostrand Reinhold Company
TOPICS: Studies of algorithms, processors and languages
SERIES: Computer Science
L.C. CALL NO:
QA76.6.L587
TITLE: Logic programming / edited by K.L. Clark and S.-A. Tarnlund.
International Workshop on Logic Programming (1st : 1980 : Debrecen,
Hungary)
IMPRINT: London ; New York : Academic Press, 1982.
xvii, 366 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: A.P.I.C. studies in data processing ; no. 16
QA76.6.M...
TITLE: Laboratory for Computer Science Progress Report 17 - 7-79/6-80
EDITOR: Jindriska Badal, MIT
IMPRINT: MIT Press
L.C. CALL NO:
QA76.6.M356
TITLE: Mathematical Theory of Computation
AUTHOR: Manna, Zohar
IMPRINT: McGraw-Hill
SERIES: McGraw Hill computer science series
TOPICS: Electronic digital computers - programming
debugging in computer science
L.C. CALL NO:
QA76.6.M357
AUTHOR: Manna, Zohar.
TITLE: Studies in automatic programming logic / Zohar Manna, Richard
Waldinger, with contributions by Shmuel Katz and Karl Levitt.
IMPRINT: New York : North-Holland, c1977.
viii, 192 p. ; 24 cm.
L.C. CALL NO:
SERIES: Artificial intelligence series
QA76.6.P475
AUTHOR: Peterson, James Lyle.
TITLE: Operating system concepts / James L. Peterson, Abraham Silberschatz.
IMPRINT: 2nd ed. Reading, Mass. : Addison-Wesley, 1985.
xiv, 625 p. : ill. ; 25 cm.
L.C. CALL NO:
OTHER: Silberschatz, Abraham.
TOPICS: Operating systems (Computers)
QA76.6.P73
TITLE: Software Engineering: A Practitioner's Approach
AUTHOR: Pressman, Roger S.
IMPRINT: McGraw Hill, Inc., 1982
SERIES: McGraww Hill software engineering and technology
TOPICS: Electronic digital computers - programming
L.C. CALL NO:
QA76.6.P743
TITLE: Principles of computer programming : a mathematical approach / Harlan
D. Mills ... [et al.].
IMPRINT: Boston : Allyn and Bacon, c1987.
xviii, 669 p. : ill. ; 28 cm.
L.C. CALL NO:
OTHER: Mills, Harlan D., 1919-
QA76.6.T73
AUTHOR: Tremblay, Jean-Paul, 1938-
TITLE: An introduction to computer science : an algorithmic approach / Jean-
Paul Tremblay, Richard B. Bunt.
IMPRINT: Short ed. New York : McGraw-Hill, c1981.
xvii, 426 p. : ill. ; 25 cm.
L.C. CALL NO:
SERIES: McGraw-Hill computer science series
QA76.6.W5713
AUTHOR: Wirth, Niklaus.
TITLE: Systematic programming: an introduction.
IMPRINT: Englewood Cliffs, N.J., Prentice-Hall [1973]
xiv, 169 p. illus. 24 cm.
L.C. CALL NO:
SERIES: Prentice-Hall series in automatic computation
TOPICS: Electronic digital computers--Programming.
QA76.6.P73
AUTHOR: Pressman, Roger S.
TITLE: Software engineering : a practitioner's approach / Roger S. Pressman.
IMPRINT: New York : McGraw-Hill, c1982.
xvi, 352 p. : ill. ; 25 cm.
L.C. CALL NO:
SERIES: McGraw-Hill software engineering and technology series
QA76.7.H56
TITLE: History of Programming Languages Conference, Los Angeles, 1978.
History of programming languages / edited by Richard L. Wexelblat.
IMPRINT: New York : Academic Press, 1981.
xxiii, 758 p. ; 27 cm.
L.C. CALL NO:
SERIES: ACM monograph series
QA76.7.O39
AUTHOR: Ollongren, Alexander.
TITLE: Definition of programming languages by interpreting automata.
IMPRINT: London, New York, Academic Press, 1974.
xi,290 p. illus. 24cm.
L.C. CALL NO:
SERIES: A.P.I.C. studies in data processing, no.11
QA76.73.C28.S74
TITLE: Golden Common Lisp
AUTHOR: David J. Steele
IMPRINT: Addison-Wesley 1989
L.C. CALL NO:
TOPICS: Computer systems. Programming Languages:
Lisp language
QA76.73.L23.A26
TITLE: ACM Symposium on LISP and Functional Programming (1984 : Austin,
Tex.)
Conference record of the 1984 ACM Symposium on LISP and Functional
Programming : papers presented at the symposium, Austin, Texas,
August 6-8, 1984 / sponsored by the Association for Computing
Machinery, SIGPLAN, SIGACT, SIGART.
IMPRINT: New York, N.Y. : Association for Computing Machinery, c1984.
x, 364 p. : ill. ; 28 cm.
L.C. CALL NO:
QA76.73.L23.A53
AUTHOR: Anderson, John R. et al.
TITLE: Essential Lisp
IMPRINT: Addison-Wesley Pub., 1987
L.C. CALL NO:
TOPICS: Computer program language
QA76.73.L23S72
AUTHOR: Start, W. Richard
TITLE: Lisp, Lore, and Logic - An Algebraic view of LISP programming,
Foundations, and Applications
IMPRINT: Springer-Verlag
TOPICS: LISP ( Computer program language)
L.C. CALL NO: QA76.73.L23S72
QA76.73.L63.A44
AUTHOR: Allen, John R., et al.
TITLE: Thinking about TLC Logo - A Graphic Look at Computing with Ideas
IMPRINT: CBS College Publishing, Holt, Rinehart and Winston, 1984
L.C. CALL NO:
QA76.73.P76.C34
AUTHOR: Cafolla, Ralph
TITLE: Turbo Prolog: Step by Step / With Turbo Prolog 2.0
IMPRINT: Merrill Publishing Company - LCCN 88-63337
L.C. CALL NO:
QA76.73.P76
AUTHOR: Giannesini, Francis et al.
TITLE: Prolog, 1986
IMPRINT: Addison-Wesley Publishing Company, Workingham, England
L.C. CALL NO:
SERIES: International Computer Science Series
QA76.73.A24.P34
AUTHOR: Pagan, Frank G.
TITLE: A practical guide to Algol 68 / Frank G. Pagan.
IMPRINT: London ; New York : Wiley, c1976.
ix, 213 p. ; 24 cm.
L.C. CALL NO:
SERIES: Wiley series in computing
TOPICS: ALGOL (Computer program language)
QA76.73.C15.K47
AUTHOR: Kernighan, Brian W.
TITLE: The C programming language / Brian W. Kernighan, Dennis M. Ritchie.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1978.
x, 228 p. ; 24 cm.
L.C. CALL NO:
OTHER: Ritchie, Dennis M., 1941- joint author.
QA76.73.C15.P573
AUTHOR: Plum, Thomas
TITLE: Efficient C
IMPRINT: Plum Hall Inc, 1985
L.C. CALL NO:
TOPICS: Computer program language
QA76.73.C28.Y83
AUTHOR: Yuasa, Taiichi
TITLE: Introduction to Common LISP
IMPRINT: Academic Press, 1986
L.C. CALL NO:
QA76.73.L23.A44
AUTHOR: Allen, John, 1937-
TITLE: Anatomy of LISP / John Allen.
IMPRINT: New York : McGraw-Hill, c1978.
xviii, 446 p. ; 25 cm.
L.C. CALL NO:
SERIES: McGraw-Hill series in artificial intelligence
McGraw-Hill computer science series
QA76.73.L23.A53
TITLE: Essential LISP
AUTHOR: Anderson, John R.
IMPRINT: Addison-Wesley Pub, 1987
L.C. CALL NO:
QA76.73.L23.C37
AUTHOR: Cartwright, Robert, 1949-
TITLE: A practical formal semantic definition and verification system for
TYPED LISP / Robert Cartwright, Jr.
IMPRINT: New York : Garland Pub., 1980.
v, 153 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: Outstanding dissertations in the computer sciences
QA76.73.L23.D36
AUTHOR: Danicic, I.
TITLE: Lisp programming / I. Danicic.
IMPRINT: Oxford ; Boston : Blackwell Scientific Publications, 1983.
ix, 96 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: Computer science texts
TOPICS: LISP (Computer program language)
NOTES: Includes index.
QA76.73.L23.F74
AUTHOR: Friedman, Daniel P.
TITLE: The little LISPer / Daniel P. Friedman and Matthias Felleisen.
IMPRINT: 2nd ed. Chicago : Science Research Associates, c1986.
xii, 212 p. : ill. ; 22 x 28 cm.
L.C. CALL NO:
TOPICS: LISP (Computer program language)
NOTES: Includes index.
QA76.73.L23.F74
TITLE: The Little Lisper
AUTHOR: Friedman, Daniel
IMPRINT: Science Research Associates, Inc., Subsidiary of IBM
L.C. CALL NO:
QA76.73.L23.M37
Mason, Ian A.
The semantics of destructive Lisp / Ian A. Mason. -- [Stanford, CA] : Center
for the Study of Language and Information, c1986.
ii, 282 p. : ill. ; 24 cm. -- (CSLI lecture notes ; no. 5)
Bibliography: p. 278-282.
ISBN 0937073059. -- ISBN 0937073067 (pbk.)
1. LISP (Computer program language) I. Title. II. Series.
LCCN: 8672170
L.C. CALL NO:
ID: DCLC8672170-B CC: 9110 DCF: a
QA76.73.L23.M38
AUTHOR: Maurer, W. D.
TITLE: The Programmer's Introduction to LISP
IMPRINT: London, Macdonald and New York, American Elsevier, 1972
L.C. CALL NO:
QA76.73.L23.S55
AUTHOR: Siklossy, Laurent.
TITLE: Let's talk LISP / L. Siklossy.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, [1976]
xv, 237 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: LISP (Computer program language)
NOTES: Includes index.
Bibliography: p. 224-225.
QA76.73.L23.S73
TITLE: Common LISP, the language / Guy L. Steele.
Common L.I.S.P., the language.
IMPRINT: Burlington, Mass. : Digital Press, 1984.
xii, 465 p. ; 24 cm.
L.C. CALL NO:
TOPICS: LISP (Computer program language)
QA76.73.L23.U7
AUTHOR: Urmi, Jaak.
TITLE: A machine independent LISP compiler and its implications for ideal
hardware / by Jaak Urmi.
IMPRINT: Linkoping, Sweden : Dept. of Mathematics, Linkoping University,
1978.
170 p. : ill. ; 21 cm.
L.C. CALL NO:
SERIES: Linkoping studies in science and technology dissertations ; no. 22
QA76.73.L23.W55
AUTHOR: Wilensky, Robert, 1951-
TITLE: LISPcraft / Robert Wilensky.
LISP craft.
IMPRINT: 1st ed. New York : W.W. Norton, c1986.
xvii, 500 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: LISP (Computer program language)
QA76.73.L23.W56
AUTHOR: Winston, Patrick Henry.
TITLE: LISP / Patrick Henry Winston, Berthold Klaus Paul Horn.
IMPRINT: Reading, Mass. : Addison-Wesley Pub. Co., c1981.
xii, 430 p. : ill. ; 24 cm.
L.C. CALL NO:
OTHER: Horn, Berthold, joint author.
TOPICS: LISP (Computer program language)
NOTES: Includes index.
QA76.73.M63.H55
Hille, Reinhold Friedrich, 1938-
Data abstraction and program development using Modula-2 / Reinhold Friedrich
Hille. -- New York : Prentice Hall, 1988.
p. cm. -- (Prentice Hall advances in computer science series)
Includes index.
ISBN 0131986236
1. Modula-2 (Computer program language) 2. Abstract data types (Computer
science) I. Title. II. Series.
LCCN: 8815623
L.C. CALL NO:
ID: DCLC8815623-B CC: 9660 DCF: a
QA76.73.P2.K44
AUTHOR: Keller, Arthur M.
TITLE: A first course in computer programming using PASCAL / Arthur M.
Keller.
IMPRINT: New York : McGraw-Hill, c1982.
xiii, 306 p. : ill. ; 28 cm.
L.C. CALL NO:
QA76.73.P76.M37
AUTHOR: Marcus, Claudia.
TITLE: Prolog programming : applications for database systems, expert
systems, and natural language systems / Claudia Marcus.
IMPRINT: Reading, Mass. : Addison-Wesley Pub. Co., c1986.
xvii, 325 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Prolog (Computer program language)
QA76.73.S34.S65
AUTHOR: Smith, Jerry D.
TITLE: An Introduction to Scheme
IMPRINT: Englewood Cliffs, N.J. : Prentice Hall, 1988
L.C. CALL NO:
QA76.73.T18.S58
AUTHOR: Slade, Stephen.
TITLE: The T programming language : a dialect of LISP / Stephen Slade.
IMPRINT: Englewood Cliffs, NJ : Prentice-Hall, c1987.
xiv, 425 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: T (Computer program language)
NOTES: Bibliography: p. 409-411.
QA76.76.E95.K56
AUTHOR: Kowalik, Janusz S.
TITLE: Knowledge based problem solving / Janusz S. Kowalik, editor.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1986.
xxv, 336 p. : ill. ; 25 cm.
L.C. CALL NO:
TOPICS: Expert systems (Computer science)
QA76.76.E95.W35
AUTHOR: Walker, Terri C and Richard K. Miller
TITLE: Expert Systems 1986, An Assessment of Technology and Applications
IMPRINT: SEAI Technical Publications, Madison, GA
L.C. CALL NO:
QA76.76.O63.F69
AUTHOR: Foxley, Eric.
TITLE: UNIX for super-users / Eric Foxley.
IMPRINT: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1985.
xiv, 213 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: International computer science series
TOPICS: UNIX (Computer operating system)
QA76.8.I2.I5
TITLE: Planning a Computer System
IMPRINT: New York, McGraw-Hill, 1962
Editor, Werner Buchholz
L.C. CALL NO:
QA76.8.U65.B44
AUTHOR: Bell Telephone Laboratories, inc.
TITLE: UNIX time-sharing system : UNIX programmer's manual / Bell Telephone
Laboratories.
IMPRINT: 7th ed., rev. and expanded version. New York : Holt, Rinehart and
Winston, c1983-
v. ; 28 cm.
L.C. CALL NO:
QA76.8.U65.M38
AUTHOR: McGilton, Henry.
TITLE: Introducing the UNIX system / Henry McGilton, Rachel Morgan.
IMPRINT: New York : McGraw-Hill, 1983.
xix, 556 p. : ill. ; 23 cm.
L.C. CALL NO:
SERIES: McGraw-Hill software series for computer professionals
QA76.9.A96.I47
AUTHOR: R. L. Constable et al
TITLE: Implementing mathematics with the Nuprl proof development system /
(Computer Science Department, Cornell University)
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1986.
x, 299 p. : ill. ; 24 cm.
L.C. CALL NO:
QA76.9.A96.M37
McAllester, David A.
Ontic : a knowledge representation system for mathematics / David A.
McAllester. -- Cambridge, Mass. : MIT Press, c1989.
p. cm. -- (The MIT Press series in artificial intelligence)
Includes index.
ISBN 0262132354
1. Automatic theorem proving. 2. Ontic (Computer system) I. Title. II.
Series.
LCCN: 888090
L.C. CALL NO:
ID: DCLC888090-B CC: 9660 DCF: a
QA76.9.A96.W67
AUTHOR: Wos, Larry.
TITLE: Automated reasoning : 33 basic research problems / Larry Wos.
Automated reasoning.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1988.
xiii, 319 p. ; 23 cm.
L.C. CALL NO:
TOPICS: Automatic theorem proving.
QA76.9.C66.B95
AUTHOR: Burks, Arthur W. (Arthur Walter), 1915-
TITLE: Robots and free minds / Arthur W. Burks.
IMPRINT: Ann Arbor : College of Literature, Science, and the Arts, The
University of Michigan, 1986.
vi, 97 p. : ill. ; 23 cm.
L.C. CALL NO:
TOPICS: Computers--Social aspects.
NOTES: Bibliography: p. 97.
QA76.9.C66.S55
AUTHOR: Simons, G. L.
TITLE: Silicon shock : the menace of the computer invasion / Geoff Simons.
IMPRINT: Oxford, UK ; New York, NY, USA : B. Blackwell, 1985.
x, 191 p. ; 24 cm.
L.C. CALL NO:
TOPICS: Computers--Social aspects.
Computers--Psychological aspects.
QA76.9.C66.S83
AUTHOR: Stern, Nancy B.
TITLE: Computers in society / Nancy Stern, Robert A. Stern.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1983.
xxi, 518 p. : ill. ; 23 cm.
L.C. CALL NO:
OTHER: Stern, Robert A.
TOPICS: Computers and civilization.
Electronic data processing.
QA76.9.D3.S97
TITLE: Symposium on Logic and Data Bases, Centre d'etudes et de recherches
de Toulouse, 1977.
Logic and data bases / edited by Herve Gallaire and Jack Minker.
IMPRINT: New York : Plenum Press, c1978.
viii, 458 p. ; 26 cm.
L.C. CALL NO:
OTHER: Gallaire, Herve.
QA76.9.D32.F68
TITLE: Foundations of Deductive Databases and Logic Programming.
Edited by Jack Minker
IMPRINT: Morgan Kaufmann Publishers, Inc. 1988
L.C. CALL NO:
TOPICS: Deductive data bases, logic programming
QA76.9.D35.H67
AUTHOR: Horowitz, Ellis.
TITLE: Fundamentals of data structures / Ellis Horowitz, Sartaj Sahni.
IMPRINT: [Woodland Hills, Calif.] : Computer Science Press, [1976]
xii, 564 p. 24 cm.
L.C. CALL NO:
SERIES: Computer software engineering series
QA76.9.D35.W58
AUTHOR: Wirth, Niklaus.
TITLE: Algorithms and data structures / Niklaus Wirth.
Algorithms & data structures.
IMPRINT: Englewood Cliffs, N.J. : Prentice-Hall, c1986.
288 p. : ill. ; 25 cm.
L.C. CALL NO:
QA76.9.D5.A37
AUTHOR: Agha, Gul A.
TITLE: Actors : a model of concurrent computation in distributed systems /
IMPRINT: Cambridge, Mass. MIT Press, c1986
ix, 144p. ill: 24 cm.
L.C. CALL NO:
SERIES: The MIT Press series in artificial intelligence
QA76.9.E96.S...
AUTHOR: Sprague, Kristopher G. and Stephen R. Ruth
TITLE: Developing Expert Systems Using EXSYS
IMPRINT: Mitchell Publishing, Inc, Santa Cruz, 1988
L.C. CALL NO:
QA76.9.S88.C69
AUTHOR: Cox, Brad J., 1944-
TITLE: Object-oriented programming ; an evolutionary approach / Brad J. Cox.
IMPRINT: Reading, Mass. : Addison-Wesley, c1986.
xiii, 274 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: System design.
QA76.D3336
AUTHOR: Deken, Joseph.
TITLE: The electronic cottage / Joseph Deken.
IMPRINT: 1st ed. New York : Morrow, 1982, c1981.
341 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Computers.
Electronic data processing.
NOTES: Bibliography: p. [335]-336.
QA76.G589
AUTHOR: Goldschlager, L., 1951-
TITLE: Computer science : a modern introduction / L. Goldschlager and A.
Lister.
IMPRINT: Englewood Cliffs, N.J. : Prentice/Hall International, c1982.
xii, 303 p. : ill. ; 23 cm.
L.C. CALL NO:
SERIES: Prentice-Hall international series in computer science
QA76.I17
TITLE: Formal Language Description Languages for Computer Programming
SERIES: Proceedings of the IFIP Working Conference on Formal Language
Description Languages
Vienna, Austria, September 15-18, 1964
EDITOR: Steel, T.B., Jr.
IMPRINT: North Holland Pub. Co., Amsterdam
L.C. CALL NO:
QA76.I575
International Federation for Information Processing. Congress (1965 : New York)
Information processing 1965 : proceedings of IFIP Congress 65 / organized by
the International Federation for Information Processing, New York City, May 24-
29, 1965 ; editor, Wayne A. Kalenich. -- Washington, D.C. : Spartan Books ;
London : Macmillan, c1965-c1966.
2 v. : ill. ; 29 cm. -- ([IFIP congress series ; v.3])
Includes bibliographies and index.
1. Electronic data processing--Congresses. 2. Programming (Electronic
computers)--Congresses. 3. Information storage and retrieval systems--
Congresses. I. Kalenich, Wayne A. II. Title. III. Series.
ID: NJRG83-B8605 CC: 9117 DCF: a
L.C. CALL NO:
QA76.R268
AUTHOR: Raphael, Bertram.
TITLE: The thinking computer : mind inside matter / Bertram Raphael.
IMPRINT: San Francisco : W. H. Freeman, c1976.
xiii, 322 p. : ill. ; 24 cm.
L.C. CALL NO:
SERIES: A Series of books in psychology
TOPICS: Computers.
QA76.W49
TITLE: What Can Be Automated (The Computer Science and Engineering Research
Study
IMPRINT: The MIT Press (Series in Computer Science), 1984
L.C. CALL NO:
TOPICS: Computers, Electronic data processing
QA7895.O6.R6
TITLE: Picture Processing by Computer
AUTHOR: Rosenfeld, Azriel
IMPRINT: Academic Press, New York
SERIES: Computer Science and Applied Mathematics
L.C. CALL NO:
QA9.B29
TITLE: Admissible Sets and Structures
AUTHOR: Barwise, John
IMPRINT: Springer-Verlag 1975
TOPICS: Admissible sets, definability theory
L.C. CALL NO: QA9.B29
QA9.P57
AUTHOR: Polya, George, 1887-
TITLE: Mathematics and plausible reasoning, by G. Polya.
Induction and analogy in mathematics
Patterns of plausible inference
IMPRINT: Princeton Univ. Press, 1954.
2 volumes
L.C. CALL NO:
QA9.S52
AUTHOR: Shoenfield, Joseph Robert, 1927-
TITLE: Mathematical logic [by] Joseph R. Shoenfield.
IMPRINT: Reading, Mass., Addison-Wesley Pub. Co. [1967]
vii, 344 p. illus. 25 cm.
L.C. CALL NO:
SERIES: Addison-Wesley series in logic
TOPICS: Logic, Symbolic and mathematical.
NOTES: Item CSUG15100537-B (Books) Language: eng Year: 1967
QB581.M6826
AUTHOR: Moore, Patrick
TITLE: The Moon
IMPRINT: Rand McNally & Company, New York
L.C. CALL NO:
QB631.B76
TITLE: How to Build a Habitable Planet
AUTHOR: Broecker, Wallce S.
IMPRINT: Eldigio Press, Ldgo Box 2, Palisades, NY
L.C. CALL NO:
QB981.H377
AUTHOR: Hawking, S.W.
TITLE: A Brief History of Time
IMPRINT: Bantam Book. April 1988
L.C. CALL NO:
TOPICS: Cosmology
QC16.E5.P26
AUTHOR: Pais, Abraham, 1918-
TITLE: Subtle is the lord-- : the science and the life of Albert Einstein /
Abraham Pais.
IMPRINT: Oxford [Oxfordshire] ; New York : Oxford University Press, 1982.
xvi, 552 p., [9] p. of plates : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Einstein, Albert, 1879-1955.
Physicists--Biography.
QC174.12.Z64
AUTHOR: Zohar, Danah
TITLE: The Quantum Self
IMPRINT: William Morrow and Company, Inc., New York 1990
L.C. CALL NO: QC174.12.Z64
TOPICS: Quantum theory, physics-philosophy, philosophical anthropology
QC7.H26
AUTHOR: Harman, P. M. (Peter Michael), 1943-
TITLE: Metaphysics and natural philosophy : the problem of substance in
classical physics / P.M. Harman.
IMPRINT: Brighton, Sussex : Harvester Press ; Totowa, N.J. : Barnes & Noble
Books, 1982.
xvi, 168 p. ; 23 cm.
L.C. CALL NO:
QH311.046
AUTHOR: Weintraub, Pamela
TITLE: The OMNI Interviews: A collection of interviews previously published
in Omni magazine
IMPRINT: OMNI Publications International, Ltd, 1984
L.C. CALL NO:
TOPICS: Biology--addresses, essays, lectures
Science--addresses, essays, lectures
Biologists--interviews--Scientists--interviews
QP376.A8
AUTHOR: Ashby, W. Ross
TITLE: Design for a Brain
IMPRINT: John Wiley, New York, 1952
L.C. CALL NO:
RC520.C64
AUTHOR: Colby, Kenneth Mark.
TITLE: Artificial paranoia; a computer simulation of paranoid processes.
IMPRINT: New York, Pergamon Press [1975]
viii, 113 p. 23 cm.
L.C. CALL NO:
SERIES: Pergamon general psychology series, 49
TOPICS: Paranoia.
T47.D74
AUTHOR: Drexler, K. Eric.
TITLE: Engines of creation / K. Eric Drexler ; foreword by Marvin Minsky.
IMPRINT: 1st ed. Garden City, N.Y. : Anchor Press/Doubleday, 1986.
xii, 298 p. ; 22 cm.
L.C. CALL NO:
TOPICS: High technology.
Twentieth century--Forecasts.
T173.8.P67
EDITORS: Landau, Ralph and Nathan Rosenberg
TITLE: The Positive Sum Strategy
IMPRINT: Copyright 1986 by the National Academy of Sciences
National Academy Press, Washington, DC
L.C. CALL NO:
TOPICS: 1. Technological innovations - US - Congresses
2. United States - Economic conditions
TA1632.N48
AUTHOR: Nevatia, Ramakant
TITLE: Computer Analysis of Scenes of 3-Dimensional Curved Objects
IMPRINT: Birkhauser Verlag, Basel and Stuttgart, 1976
L.C. CALL NO:
TA1675.S54
AUTHOR: Siegman, A. E.
TITLE: Lasers / Anthony E. Siegman.
IMPRINT: Mill Valley, Calif. : University Science Books, c1986.
xxii, 1283 p. : ill. ; 26 cm.
L.C. CALL NO:
TOPICS: Lasers.
NOTES: Item CSUG86-B100893 (Books) Language: eng Year: 1986
TD195.463
TITLE: Poisoned Power
AUTHOR: Gofman, John W. and Arthur R. Tamplin
IMPRINT: Rodale Press, Emmaus, Pa., 1971
L.C. CALL NO:
TOPICS: Atomic power-plants, Environmental aspects, Radioactive pollution
TD195.R4.G63
TITLE: Poisoned Power
AUTHOR: Gofman, John W.
IMPRINT: Rodale Press, Emmanus, PA
TOPICS: Atomic power plants, Environmental aspects
Radioactive pollution
L.C. CALL NO:
TJ163.I15.E5384
TITLE: Energy: production, consumption, and consequences / John L. Helm,
editor. Technology and environment
IMPRINT: Washington, D.C. National Academy Press, 1990
viii, 296 p, ill, 24 cm.
L.C. CALL NO:
TJ211.R4
TITLE: Recent advances in robotics / edited by Gerardo Beni, Susan Hackwood.
IMPRINT: New York : Wiley, c1985.
xviii, 426 p. : ill. ; 25 cm.
L.C. CALL NO:
SERIES: Advances in robotics
OTHER: Beni, Gerardo.
Hackwood, Susan.
TK5101.M326
AUTHOR: Martin, James, 1933-
TITLE: Telecommunications and the computer [by] James Martin.
IMPRINT: Englewood Cliffs, N. J., Prentice-Hall [1969]
xx, 470 p. illus., maps. 24 cm.
L.C. CALL NO:
SERIES: Prentice-Hall series in automatic computation
TOPICS: Telecommunication.
TK5101.S45
Shannon, Claude E., 1916-
The mathematical theory of communication / by Claude E. Shannon and Warren
Weaver. -- Illini Books ed. -- Urbana : University of Illinois Press, 1963,
c1949.
125 p. : ill. ; 21 cm.
Includes bibliographical references.
Contents: The mathematical theory of communication / by C.E. Shannon.--Recent
contributions to the mathematical theory of communication / by W. Weaver.
ISBN 0252725484
1. Telecommunication. 2. Mathematical physics. I. Weaver, Warren, 1894- II.
Title.
LCCN: 4911922
L.C. CALL NO:
ID: CHPC85-B1496 CC: 9116 DCF: a
TK5105.5.P463
TITLE: Phoenix Conference on Computers and Communications.
Conference proceedings / Phoenix Conference on Computers and
Communications.
Cover title: IEEE Phoenix Conference on Computers and Communications
IMPRINT: [New York, NY] : Institute of Electrical and Electronics Engineers,
1982-
v. : ill. ; 28 cm.
L.C. CALL NO:
TK7874.M37
AUTHOR: Mead, Carver.
TITLE: Introduction to VLSI systems / Carver Mead, Lynn Conway.
IMPRINT: Reading, Mass. : Addison-Wesley, c1980.
xvi, 396 p., [8] leaves of plates : ill. (some col.) ; 25 cm.
L.C. CALL NO:
OTHER: Conway, Lynn, joint author.
TK7874.P...
AUTHOR: Peng, Zebo
TITLE: A Formal Methodology for Automated Synthesis of VLSI Systems
IMPRINT: Department of Computer & Information Science, Linkoping Univ., Sweden
L.C. CALL NO:
TK7882.P3.B42
AUTHOR: Becker, Peter W.
TITLE: Recognition of patterns : using the frequencies of occurrence of
binary words / Peter W. Becker.
IMPRINT: 3d, rev. and enl. ed. Wien ; New York : Springer-Verlag, c1978.
xiv, 222 p. : ill. ; 23 cm.
L.C. CALL NO:
TOPICS: Pattern recognition systems.
Pattern perception.
TK7885.A5.L38
AUTHOR: Lavington, Simon Hugh.
TITLE: Early British computers : the story of vintage computers and the
people who built them / Simon Lavington.
IMPRINT: Bedford, Mass. : Digital Press : sole distributor for the U.S.A. and
Canada, Digital Equipment Corp., c1980.
139 p. : ill. ; 21 cm.
L.C. CALL NO:
TK7885.C67
TITLE: Computer engineering : a DEC view of hardware systems design / C.
Gordon Bell, J. Craig Mudge, John E. McNamara.
IMPRINT: Bedford, Mass. : Digital Press, c1978.
xxii, 585 p. : ill., diagrs. ; 25 cm.
L.C. CALL NO:
OTHER: Bell, C Gordon.
Mudge, J C
TK7888.3.B37
AUTHOR: Bell, C. Gordon.
TITLE: Computer structures: readings and examples. [Compiled by] C. Gordon
Bell [and] Allen Newell.
IMPRINT: New York, McGraw-Hill, [c1971]
xix, 668 p. illus. 24 cm.
L.C. CALL NO:
SERIES: McGraw-Hill computer science series
TK7889.W47.R43
AUTHOR: Redmond, Kent C., 1914-
TITLE: Project Whirlwind : the history of a pioneer computer / Kent C.
Redmond & Thomas M. Smith.
IMPRINT: Bedford, Mass. : Digital Press, c1980.
xiv, 280 p. : ill. ; 25 cm.
L.C. CALL NO:
OTHER: Smith, Thomas Malcolm, 1921- joint author.
TK9145.C576
AUTHOR: Cohen, Bernard L.
TITLE: Before It's Too Late
IMPRINT: New York, Plenum Press, 1983
L.C. CALL NO:
TS191.8.S3
AUTHOR: Scott, Peter B.
TITLE: The robotics revolution : the complete guide for managers and
engineers / Peter B. Scott.
IMPRINT: Oxford, UK ; New York, NY, USA : B. Blackwell, 1984.
xv, 345 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Robots, Industrial.
NOTES: Bibliography: p. [310]-311.
TS191.C64
TITLE: Symposium on Computer Vision and Sensor-Based Robots, General Motors
Research Laboratories, 1978.
Computer vision and sensor-based robots / edited by George G. Dodd
and Lothar Rossol.
IMPRINT: New York : Plenum Press, 1979.
ix, 353 p. : ill. ; 26 cm.
L.C. CALL NO:
U263.V65
TITLE: Voices of survival in the nuclear age / conceived and edited by
Dennis Paulson ; introduction by Carl Sagan.
IMPRINT: Santa Barbara, CA : Capra Press, 1986.
288 p. : ill. ; 24 cm.
L.C. CALL NO:
OTHER: Paulson, Dennis, 1941-
TOPICS: Nuclear warfare.
U37.M38
AUTHOR: McNeill, William Hardy, 1917-
TITLE: The pursuit of power : technology, armed force, and society since
A.D. 1000 / William H. McNeill.
IMPRINT: Chicago : University of Chicago Press, 1982.
x, 405 p. : ill. ; 22 cm.
L.C. CALL NO:
TOPICS: Military art and science--History.
Military history, Medieval.
U394.L58.B76
AUTHOR: Broad, William, 1951-
TITLE: Star warriors : a penetrating look into the lives of the young
scientists behind our space age weaponry / by William J. Broad.
IMPRINT: New York : Simon and Schuster, c1985.
245 p. : ill. ; 24 cm.
L.C. CALL NO:
TOPICS: Lawrence Livermore National Laboratory.
Military research--United States.
Q335.N37
Narendra, Kumpati S.
Learning automata : an introduction / Kumpati S. Narendra, Mandayam A.L.
Thathachar. -- Englewood Cliffs, N.J. : Prentice Hall, c1989.
xiv, 476 p. : ill. ; 25 cm.
Bibliography: p. 449-467.
Includes index.
ISBN 0134855582
1. Artificial intelligence. I. Thathachar, Mandayam A. L. II. Title.
LCCN: 8836574
L.C. CALL NO:
ID: DCLC8836574-B CC: 9110 DCF: a
QA76.73.L23.H46
Hekmatpour, Sharam, 1961-
Introduction to LISP and symbol manipulation / Sharam Hekmatpour. -- New
York : Prentice Hall, c1988.
xv, 303 p. : ill. ; 24 cm.
Bibliography: p. 295-298.
Includes index.
ISBN 0134861922 (pbk.)
1. LISP (Computer program language) I. Title.
LCCN: 8730862
L.C. CALL NO:
ID: DCLC8730862-B CC: 9110 DCF: a
QA76.73.P76.C34
Cafolla, Ralph.
Turbo Prolog : step by step, with Turbo Prolog 2.0 / Ralph Cafolla, Daniel
Albert Kauffman ; instruction design by Don Gorman. -- Columbus, Ohio : Merrill
Pub. Co., c1989.
xiv, 482 p. : ill. ; 24 cm.
Includes index.
ISBN 0675208165
1. Prolog (Computer program language) 2. Turbo Prolog (Computer program) I.
Kauffman, Dan. II. Gorman, Don A. III. Title.
LCCN: 8863337
L.C. CALL NO:
ID: DCLC8863337-B CC: 9110 DCF: a